This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

The commentary of the Italian physician and philosopher Pietro d'Abano on Bartholomew of Messina's Latin translation of Pseudo-Aristotle's 'Problemata Physica', published in 1310, constitutes an important historical source. In a section of the corpus Aristotelicum that was not part of the standard curriculum at the medieval university, the commentary of Pietro d'Abano investigates the complex relationship between text, translation, and commentary. The eight articles in this volume provide valuable insights into the manner in which Pietro d'Abano deals with the problems (...) of a translated text. They emphasize the idiosyncrasy of his approach in comparison to his contemporaries and successors, the particularities of his commentary in light of the habitual exegetical practices applied in the teaching of curricular texts, as well as the influence of philosophical traditions outside the strict framework of the medieval arts faculty. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...) Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively saturated. We (...) also show that if R is a countable recursively saturated real closed ordered field, then there is an integer part I such that R = RC(I) and I is a nonstandard model of PA. (shrink)

Our ability to select relevant information from the environment is limited by the resolution of attention – i.e., the minimum size of the region that can be selected. Neural mechanisms that underlie this limit and its development are not yet understood. Functional MRI was performed during an object tracking task in 7- and 11-year-old children, and in young adults. Object tracking activated canonical fronto-parietal attention systems and motion-sensitive area MT in children as young as 7 years. Object tracking performance improved (...) with age, together with stronger recruitment of parietal attention areas and a shift from low-level to higher-level visual areas. Increasing the required resolution of spatial attention – which was implemented by varying the distance between target and distractors in the object tracking task – led to activation increases in fronto-insular cortex, medial frontal cortex including anterior cingulate cortex (ACC) and supplementary motor area, superior colliculi, and thalamus. This core circuitry for attentional precision was recruited by all age groups, but ACC showed an age-related activation reduction. Our results suggest that age-related improvements in selective visual attention and in the resolution of attention are characterized by an increased use of more functionally specialized brain regions during the course of development. (shrink)

The European Clinical Trials Directive (EU 2001; 2001/20/EC) was introduced to improve the efficiency of commercial and academic clinical trials. Concerns have been raised by interested organizations and institutions regarding the potential for negative impact of the Directive on non-commercial European clinical research. Interested researchers within the European Group for Blood and Marrow Transplantation (EBMT) were surveyed to determine whether researcher experiences confirmed this view. Following a pilot study, an internet-based questionnaire was distributed to individuals in key research positions in (...) the European haemopoietic SCT community. Seventy-one usable questionnaires were returned from participants in different EU member states. The results indicate that the perceived impact of the European Clinical Trials Directive has been negative, at least in the research areas of interest to the EBMT. (shrink)

This collection of essays, addresses, and one interview come from the years 1966-73 and cover a wide spectrum of interest, dealing with such general topics as 'The Absence of God in Modern Culture' and 'The Future of Christianity.'.

In recent years, a series of key social, political and economic events has placed the critique of capitalism very much on the theoretical agenda. Responding to these developments, many have begun to express the need for a rapprochement between social criticism and the critique of political economy. The present essay represents a contribution to the recovery of the project that was once synonymous with critical theory itself via a critical engagement with the early writings of Jürgen Habermas. Not only is (...) Habermas’ explicit engagement with the critique of political economy among the most substantial to be found within the mainstream tradition of critical theory, his early social-theoretical insights into the emergent ‘primacy of the political’ in late capitalism can be taken as representative of a number of broader trends in late-20th-century thought which sought to go beyond the premises and categories of Marx’s economic works. Simply put, no reappraisal of the relationship between critical theory and the critique of political economy can succeed, I submit, without taking seriously Habermas’s path-breaking and wide-ranging innovations. (shrink)

In a discussion-note in Mind, Father P. M. Farrell, O.P., gave an account, in what he admitted to be an embarrassingly brief compass, of the Thomist doctrine concerning evil. There is one sentence in this discussion which at first glance appears paradoxical. Father Farrell has been arguing that a universe containing ‘corruptible good’ as well as incorruptible is better than one containing ‘incorruptible good’ only. He continues: ‘If, however, they are to manifest this corruptible good, they must be corruptible and (...) they must sometimes corrupt.’ The final words, despite Father Farrell's italics, strike one as expressing, not a self-evident truth, but a non sequitur. The fact that I am capable of committing murder does not entail that I will at some time commit it. It is not immediately obvious that a similar entailment holds in the case of corruption and corruptibility. (shrink)

‘Hoplites are troops who take their name from their shields’. ‘The individual infantryman took his name, hoplites, from the hoplon or shield’. Such is the orthodox view. This paper will endeavour to show that its basis is inadequate. Rather, we shall argue, hoplites took their name from their arms and armour as a whole, their hopla in that all-encompassing sense; so that the original and essential meaning of the word hoplite was nothing more than ‘armed man’.